-- Testing the version option when used without type-check the file.
--
-- N.B. It is necessary to change the Issue1244b.out file when using
-- different versions of Agda.
